Feeds to Scour
SubscribedAll
Scoured 11426 posts in 209.1 ms
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
arxiv.org·10h
⚡Comptime Parsers
Designing and Using Combinators: The Essence of Functional Programming
cse.chalmers.se·1d·
Discuss: Hacker News
🔬programming language theory
[2004.00731] Small object arguments, plus-construction, and left-exact localizations
arxiv.org·1d
🔍Type Inference
Large Language Models for Mortals book
andrewpwheeler.com·5h
🌱Minimal ML
A Note on Flat Abstract Syntax Trees
gist.github.com·1d·
Discuss: Hacker News
🌳Tree-sitter
Generics
docs.modular.com·45m
📐Type Theory
The middle ground between canonical models and data mesh
frederickvanbrabant.com·1d·
Discuss: r/programming
🔀Data Integration
Transformers v5 - Hugging Face’s Next Big Leap in Simple and Powerful AI Models
pub.towardsai.net
·15h
🤖AI
Programming Aphorisms
matklad.github.io·15h
🪞Metaprogramming
Rust Standard Library Challenges
rustfinity.com·2h·
Discuss: r/rust
🚂Cranelift IR
ArXiv Endorsement for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com·1h·
Discuss: Hacker News
🧠Symbolic AI
Lean 4 and the Curry–Howard correspondence
wildonblog.wordpress.com·1d
∘Category Theory
Structured Context Engineering for File-Native Agentic Systems
simonwillison.net·1d
🎨Domain-Specific Languages
C-- Home
cs.tufts.edu·1d·
Discuss: Lobsters
🌉Cross-Platform FFI
EdgeQuake: Rust-powered RAG framework for production knowledge graphs
news.ycombinator.com·1d·
Discuss: Hacker News
🕸️Knowledge Graphs
Architectural and Mathematical Foundations of Machine Learning: A Rigorous Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io·2h·
Discuss: Hacker News
🔍Neural Architecture Search
TPUs Demystified
pub.towardsai.net
·3h
💡Explainable AI
Universal Turing Machine
universalturingmachine.org·1d
🎯Finite Automata
datavorous/spheni: An in-memory vector search library in C++ with Python bindings
github.com·1h·
Discuss: Hacker News
🌳Pattern Match Compilation
Benchmark & Compare the Best AI Models
arena.ai·45m
🤖AI

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help